On the Word Problem for Tensor Products and Amalgams of Monoids
نویسندگان
چکیده
We prove that the word problem for the free product with amalgamation S U T of monoids can be undecidable, even when S and T are nitely presented monoids with word problems that are decidable in linear time, the factorization problems for U in each of S and T , as well as other problems, are decidable in polynomial time, and U is a free nitely generated unitary submonoid of both S and T. This is proved by showing that the equality problem for the tensor product S U T is undecidable and using known connections between tensor products and amalgams. We obtain similar results for semigroups, and by passing to semigroup rings we obtain similar results for rings as well. The proof shows how to simulate an arbitrary Turing machine as a communicating pair of two deterministic pushdown automata and is of independent interest. A similar idea is used in a paper by E. Bach to show undecidability of the tensor equality problem for modules over commutative rings.
منابع مشابه
On the Exponent of Triple Tensor Product of p-Groups
The non-abelian tensor product of groups which has its origins in algebraic K-theory as well as inhomotopy theory, was introduced by Brown and Loday in 1987. Group theoretical aspects of non-abelian tensor products have been studied extensively. In particular, some studies focused on the relationship between the exponent of a group and exponent of its tensor square. On the other hand, com...
متن کاملOn the decidability of the word problem for amalgamated free products of inverse semigroups
We study inverse semigroup amalgams [S1, S2;U ], where S1 and S2 are finitely presented inverse semigroups with decidable word problem and U is an inverse semigroup with decidable membership problem in S1 and S2. We use a modified version of Bennett’s work on the structure of Schützenberger graphs of the R-classes of S1 ∗U S2 to state sufficient conditions for the amalgamated free products S1 ∗...
متن کاملDistortion functions and the membership problem for submonoids of groups and monoids
The notion of upper distortion for graded submonoids embedded in groups and monoids is introduced. A finitely generated monoid M is graded if every element of M can be written in only finitely many ways in terms of some fixed system of generators. Examples of such monoids are free monoids, Artin monoids, and monoids satisfying certain small cancellation conditions. Whenever such a monoid is emb...
متن کاملFp 1 Is Undecidable for Nitely Presented Monoids with Word Problems Decidable in Polynomial Time
In the rst part of this paper properties P of nitely presented monoids are considered that satisfy the following two conditions: (1) each monoid that can be presented through a nite convergent string-rewriting system has property P , and (2) each nitely presented monoid having property P is of homology type FP3. Following an idea presented in (Otto and Sattler-Klein 1997) it is shown that these...
متن کاملBessel multipliers on the tensor product of Hilbert $C^ast-$ modules
In this paper, we first show that the tensor product of a finite number of standard g-frames (resp. fusion frames, frames) is a standard g-frame (resp. fusion frame, frame) for the tensor product of Hilbert $C^ast-$ modules and vice versa, then we consider tensor products of g-Bessel multipliers, Bessel multipliers and Bessel fusion multipliers in Hilbert $C^ast-$modules. Moreover, we obtain so...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- IJAC
دوره 9 شماره
صفحات -
تاریخ انتشار 1999